$\forall$${\it es}$:ES, $x$, $y$, $z$:E. ($x$ $<$ $y$) $\Rightarrow$ ($y$ $<$ $z$) $\Rightarrow$ ($x$ $<$ $z$)